Initial self-embeddings of models of set theory

Models of Set Theory

1. First order logic and the axioms of set theory 2 1.1. Syntax 2 1.2. Semantics 2 1.3. Completeness, compactness and consistency 3 1.4. Foundations of mathematics and the incompleteness theorems 3 1.5. The axioms 4 2. Review of basic set theory 5 2.1. Classes 5 2.2. Well-founded relations and recursion 5 2.3. Ordinals, cardinals and arithmetic 6 3. The consistency of the Axiom of Foundation 8 ...

Leibnizian models of set theory

A model is said to be Leibnizian if it has no pair of indiscernibles. Mycielski has shown that there is a first order axiom LM (the LeibnizMycielski axiom) such that for any completion T of Zermelo-Fraenkel set theory ZF , T has a Leibnizian model iff T proves LM. Here we prove: Theorem A. Every complete theory T extending ZF + LM has 2 א 0 nonisomorphic countable Leibnizian models. Theorem B. ...

MODELS OF SET THEORY 1 Models

the analysis of the role of the speech acts theory in translating and dubbing hollywood films

از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model M of set theory, and a nontrivial automorphism j of M, let Ifix(j) be the submodel of M whose universe consists of elements m of M such that j(x) = x for every x in the transitive closure of m (where the transitive closure of m is computed within M). Here we study the class C of structures of the form Ifix(j), where the ambient model M satisfies a frugal yet robust fragment of ZFC...